// Manager.cc

#include <assert.h>
#include "Manager.h"
